Xem các không gian topo như là các vật và các ánh xạ liên tục như là các cấu xạ thì họ các không gian topo lập thành một phạm trù, ký hiệu là Top. Đây là một phạm trù cơ bản trong toán học. Cố gắng phân loại các vật của phạm trù này (xê xích một phép đồng phôi) bởi các bất biến đã tạo ra nhiều lãnh vực nghiên cứu mới, như là lý thuyết đồng luân (homotopy theory), lý thuyết đồng điều (homology theory) và lý thuyết K (K - theory), v.v.